Dijkstra算法和Floyd算法的正确性证明

说明： 本文仅提供关于两个算法的正确性的证明，不涉及对算法的过程描述和实现细节 本人算法菜鸟一枚，提供的证明仅是自己的思路，不保证正确，仅供参考，若有错误，欢迎拍砖指正 ...